Aperiodic Languages in Concurrency Monoids
نویسندگان
چکیده
منابع مشابه
Modelling Concurrency with Quotient Monoids
Four quotient monoids over step sequences and one with compound generators are introduced and discussed. They all can be regarded as extensions (of various degrees) of Mazurkiewicz traces [14] and comtraces of [10].
متن کاملPro-Aperiodic Monoids via Saturated Models
We apply Stone duality and model theory to study the structure theory of free pro-aperiodic monoids. Stone duality implies that elements of the free pro-aperiodic monoid may be viewed as elementary equivalence classes of pseudofinite words. Model theory provides us with saturated words in each such class, i.e., words in which all possible factorizations are realized. We give several application...
متن کاملAperiodic languages and generalizations.dvi
For every integer k ≥ 0, a class of languages, called kaperiodic languages, is defined, generalizing the class of aperiodic languages. Properties of these classes are investigated, in particular the operations under which they are preserved. A characterization of the syntactic monoid of a kaperiodic language is also obtained.
متن کاملOrdered Monoids: Languages and Relations
We give a finite axiomatization for the variety generated by relational, integral ordered monoids. As a corollary we get a finite axiomatization for the language interpretation as well.
متن کاملConcurrency in Modern Programming Languages
I n the last 10 years, CPU clock speeds haven’t increased significantly, but the computing power of CPUs has continued to grow according to Moore’s law. Researchers achieved this by increasing the number of computing cores per chip. This process has made parallel computing relevant to a much broader community. Writing computer programs that take advantage of multicores is a challenge because of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1996
ISSN: 0890-5401
DOI: 10.1006/inco.1996.0039